Exercise logic.propositional.proof.top
Description
Prove two propositions equivalent (with top-level decomposition)
| Code | logic.propositional.proof.top |
| Status | Experimental |
| Strategy | proofequivalent |
| Rules | 58 |
| Buggy rules | 39 |
| OpenMath support | yes |
| Restartable strategy | yes |
| Exercise generator | no |
| Examples | 31 |